#include "../A5472/a5472campdown0v1.hh"

int main(int argc, char** argv)
{

return run_campaign_();
}
